Incorporating Formal Specifications to Jacobson's Methodology

It is worthwhile mentioning that the area of formal specifications, particularly as refers to object orientation, has not been widely developed, due to its proposal being recent and novel, mixing the traditional benefits of formal specification languages (consistency, completion and lack of ambiguity in the software developed) with object-oriented characteristics such as encapsulation, inheritance and polymorphism, thus enabling the software specification to be modularized, reusable and coherent. The goal of this paper is to integrate Ivar Jacobson’s Object-Oriented Methodology(OOSE) with object-oriented formal specifications in the development of a graphic object-oriented programming environment. Following Ivar Jacobson's (OOSE) methodology in all its stages assured the integrity of the product in correspondence with the theoretical globally initially proposed. An object-oriented visual programming environment was designed that includes the advantages of object-oriented programming and visual programming, thereby providing the user with an integral environment where he can visually manipulate objects.